Automata theory

Results: 1263



#Item
711Automata theory / Mathematics / FO / Finite model theory / Temporal logic

Information Processing Letters[removed]185 North-Holland 7 October[removed]DEFINING LIVENESS *

Add to Reading List

Source URL: www.cs.cornell.edu

Language: English - Date: 2013-08-20 15:42:24
712Theoretical computer science / Computing / Compiling tools / Automata theory / Theory of computation / Parsing / CYK algorithm / LL parser / Formal grammar / Formal languages / Mathematics / Programming language implementation

Increasing Engagement in Automata Theory With JFLAP Susan H. Rodger Eric Wiebe Kyung Min Lee

Add to Reading List

Source URL: www.cs.duke.edu

Language: English - Date: 2009-01-09 06:06:20
713Formal languages / Mathematics / Finite state transducer / Computer science / Semiring / Finite-state machine / Sequence / Büchi automaton / Automata theory / Models of computation / Theoretical computer science

International Journal of Foundations of Computer Science c World Scientific Publishing Company Edit-Distance of Weighted Automata: General Definitions and Algorithms

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-24 09:40:05
714Models of computation / Computer science / Applied mathematics / Finite state transducer / Regular language / Nondeterministic finite automaton / Finite-state machine / N-gram / Probabilistic automaton / Automata theory / Formal languages / Theoretical computer science

Weighted Rational Transductions and their Application to Human Language Processing

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-24 09:49:11
715Computer science / Applied mathematics / Mehryar Mohri / Nondeterministic finite automaton / Finite-state machine / Speech recognition / Finite state transducer / Büchi automaton / Automata theory / Models of computation / Theoretical computer science

Algorithms for Speech Recognition and Language Processing Mehryar Mohri Michael Riley

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-21 09:19:29
716Models of computation / Combinatorics / Mathematics / Combinatorics on words / Finite state transducer / Natural language processing / Regular language / Finite-state machine / Regular expression / Formal languages / Automata theory / Theoretical computer science

Applications of Finite-State Transducers in Natural Language Processing Lauri Karttunen Xerox Research Centre Europe, 6, chemin de Maupertuis, F[removed]Meylan, France [removed]

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-01-27 11:18:56
717Compiler construction / Automata theory / Models of computation / Syntax / Computational linguistics / Dependency grammar / Parsing / Finite-state machine / Formal grammar / Formal languages / Linguistics / Grammar

Dependency Parsing with an Extended Finite-State Approach Kemal Oflazer∗ Sabancı University This article presents a dependency parsing scheme using an extended finite-state approach. The

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-22 11:47:26
718Computing / Graph theory / Finite state transducer / Binary trees / Finite-state machine / Speech recognition / Tree traversal / Tree / R-tree / Automata theory / Models of computation / Theoretical computer science

J' Compilation of Weighted Finite-State Transducers from Decision Trees

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-03-31 07:43:33
719Computer science / Finite-state machine / Muller automaton / Automata theory / Models of computation / Theoretical computer science

Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries Jorge Gra˜ na, Fco. Mario Barcala, and Miguel A. Alonso Departamento de Computaci´ on, Facultad de Inform´

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-01-27 11:06:25
720Applied mathematics / Mathematics / Automata theory / Finite state transducer / Symbol

p-Subsequentiable Transducers Cyril Allauzen and Mehryar Mohri AT&T Labs – Research 180 Park Avenue Florham Park, NJ 07932, USA {allauzen,mohri}@research.att.com

Add to Reading List

Source URL: www.cs.mun.ca

Language: English - Date: 2006-02-02 11:10:09
UPDATE